Walther von der Vogelweide. S. Singer

Genocide, Landscape, Beauty, Taboo: Reading Anselm Kiefer’s Der Morgenthau-Plan with Walther von der Vogelweide’s Lindenlied

Modelle - Janusköpfe der Software-Entwicklung - oder: Mit Janus von der A- zur S-Klasse

Zusammenfassung: Modelle spielen heute eine hervorragende Rolle in der Software-Entwicklung. Sie haben sowohl deskriptiven Charakter (als Nachbilder eines "realen" Weltausschnitts) als auch präskriptiven (als Vorbilder und Baupläne für zu konstruierende Systeme). Software-Entwicklung lässt sich als Folge von Modelltransformationen auffassen, die von Objekten der Anwendungswelt über Modell-Objek...

Der Mikroprozess von Programmierfehlern

Das Fehlermachen ist ein vermutlich individueller Prozess. Auf dieser Annahme basierend hat der Persönliche Softwareprozess (PSP) [Hum95] eine Methode entwickelt, die eine systematische Analyse der eigenen Fehler bietet. Diese findet mittels konsequent geführter Aufzeichnungen statt, neben der eigentlichen Programmierarbeit. Manuelle Aufzeichnungen sind jedoch häufig fehlerhaft und dermaßen auf...

Walther Recursion

Primitive recursion is a well known syntactic restriction on recursive deenitions which guarantees termination. Unfortunately many natural deenitions, such as the most common deenition of Euclid's GCD algorithm, are not primitive recursive. Walther has recently given a proof system for verifying termination of a broader class of deenitions. Although Walther's system is highly automatible, the c...

Optimierung der Verarbeitung von Dokumenten

As XML becomes ubiquitous throughout the enterprise, it increasingly taxes the systems that must deal with it. [. . . ] Even though it is inefficient, however, XML’s numerous advantages are increasing its use for ever broader and more mission-critical functions. [. . . ] XML’s processing overhead, storage requirements, and bandwidth consumption become quite problematic when transaction volumes ...